181. Biostatistic and Computer Applications
پدیدآورنده : Goswami Rajeev
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : Mathematics ، Computer science
رده :
QA
76
.
9
.
B46G77
2009
182. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
پدیدآورنده : Plummer, Daniel Eugene
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Electrical engineering,Mathematics
183. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
پدیدآورنده : Plummer, Daniel Eugene
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Electrical engineering,Mathematics
184. Boolean function complexity : advances and frontiers
پدیدآورنده : Jukna, Stasys, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,، Computer science -- Mathematics,، Combinatorial analysis
رده :
QA
267
.
7
.
J84B6
185. Boundary Element Techniques in Computer-Aided Engineering
پدیدآورنده : edited by C.A. Brebbia.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer science -- Mathematics.,Mathematics.
186. Boundary Value Problems for Engineers
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering mathematics. ; Computer science. ; Computer engineering. ; Engineering Mathematics. ;
187. Bounded Queries in Recursion Theory
پدیدآورنده : by William I. Gasarch, Georgia A. Martin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
188. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
189. Building bridges : between mathematics and computer science
پدیدآورنده : Martin Grotschel, Gyula O. Katona )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Combinatorial analysis
رده :
QA
76
.
9
.
B84
190. Building bridges :between mathematics and computer science
پدیدآورنده : / [edited by] Martin Groetschel, Gyula O.H. Katona
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Computer science -- Mathematics,-- Congresses
رده :
004
.
0151
B932
2008
191. Building bridges: between mathematics and computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Lovasz, Loszlo, 8491-,Congresses ، Computer science-- Mathematics,Congresses ، Combinatorial analysis
رده :
QA
76
.
9
.
M35
.
B85
2008
192. CAST Methods in Modelling :
پدیدآورنده : edited by Franz Pichler, Heinz Schwärtzel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Engineering mathematics.
رده :
TA168
.
E358
1992
193. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
194. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
195. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
196. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
197. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
198. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
199. Cardinalities of Fuzzy Sets
پدیدآورنده : by Maciej Wygralak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Group theory.,Mathematics.
رده :
QA248
.
5
B963
2003
200. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
